Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
141	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
142	DATE-2016-Logo-flat-White Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2015-05-28 17:33:40 Real-time computing Systems design Embedded system Geographic information system Design Automation and Test in Europe Electronic engineering IEEE Council on Electronic Design Automation Reconfigurable computing
143	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
144	Vivado Design Suite Advanced XDC and Static Timing Analysis for ISE Software Users FPGA 2 VIVA11000-ILT (v1.0) Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-06-17 12:40:57 Xilinx ISE Formal methods Field-programmable gate array Hardware description languages Xilinx Timing closure Static timing analysis Application-specific integrated circuit Design closure Electronic engineering Electronic design automation Electronics
145	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.ibiblio.org Language: English - Date: 2014-10-19 15:52:16 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic
146	Designing with VHDL FPGA 1 LANG11000-ILT (v1.0) Course Specification Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-11-12 18:34:24 VHDL Digital electronics Field-programmable gate array Logic synthesis Xilinx Register-transfer level Electronic engineering Hardware description languages Electronic design automation
147	Unity™ Power Planner Power-Grid Planning for Hierarchical Custom Designs Power-grid planning for today’s advanced custom designs with many levels of hierarchy and multiple power domains is a complex, often-iterated t Add to Reading List Source URL: pulsic.com Language: English - Date: 2014-05-07 18:26:48 Electronics Electric power transmission systems Electrical engineering Very-large-scale integration Electrical grid Grid plan Place and route Routing Electric power transmission Electronic engineering Electromagnetism Electronic design automation
148	ExCAPE Annual Report of Activities April 2013 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-26 15:33:58 Electronic design automation Science Applied mathematics Digital electronics Formal methods Model-based design Program synthesis High-level synthesis Synthesizer Electronic engineering Formal sciences Cybernetics
149	CS 170 Algorithms Spring 2009 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2009-05-04 23:56:17 Complexity classes NP-complete problems Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Conjunctive normal form NP-complete Canonical form Theoretical computer science Mathematics Applied mathematics
150	Time Domain Gating for Short Circuited Reflection Measurements Sean Richards Adrian Tan Ian Platt Add to Reading List Source URL: www.lincolnagritech.co.nz Language: English - Date: 2014-07-08 23:15:09 Electrophysiology Gating Logic simulation Electronic engineering Electronic design automation Cell communication

UPDATE